#include "mallocCommon.h"
  
#ifdef _SPANPOOL
OBJECTPOOLVECTORT span_object_pool_;
#endif


